[INFO] cloning repository https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FML-KULeuven%2FRevisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FML-KULeuven%2FRevisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2742d1b95325ebc14f9e1c63b097ff1499a533d1
[INFO] checking ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective against master#09a371361240e42b0d69438fd1179efcf212e576 for pr-157814-crater-rollup
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FML-KULeuven%2FRevisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  97% (683/698)
Updating files:  98% (685/698)
Updating files:  99% (692/698)
Updating files: 100% (698/698)
Updating files: 100% (698/698), done.
[INFO] started tweaking git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective
[INFO] finished tweaking git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective
[INFO] tweaked toml for git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective on toolchain 09a371361240e42b0d69438fd1179efcf212e576
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+09a371361240e42b0d69438fd1179efcf212e576" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+09a371361240e42b0d69438fd1179efcf212e576" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded papergrid v0.7.1
[INFO] [stderr]   Downloaded tabled_derive v0.5.0
[INFO] [stderr]   Downloaded tabled v0.10.0
[INFO] [stderr]   Downloaded bytecount v0.6.3
[INFO] [stderr]   Downloaded clap_lex v0.3.0
[INFO] [stderr]   Downloaded once_cell v1.14.0
[INFO] [stderr]   Downloaded iset v0.3.0
[INFO] [stderr]   Downloaded os_str_bytes v6.3.0
[INFO] [stderr]   Downloaded clap_derive v4.0.18
[INFO] [stderr]   Downloaded clap v4.0.18
[INFO] [stderr]   Downloaded syn v2.0.87
[INFO] [stderr]   Downloaded bzip2-sys v0.1.11+1.0.8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7cf07dcec6eec8f91d8fcff9552b5c74122c05467aaf1800be6da9d6f61e2ab2" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 91567dafe0ec946c63276f4561597fb09f24a51c35ead519d80a2aa3726950cc
[INFO] running `Command { std: "docker" "start" "91567dafe0ec946c63276f4561597fb09f24a51c35ead519d80a2aa3726950cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "91567dafe0ec946c63276f4561597fb09f24a51c35ead519d80a2aa3726950cc" "/opt/rustwide/cargo-home/bin/cargo" "+09a371361240e42b0d69438fd1179efcf212e576" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "91567dafe0ec946c63276f4561597fb09f24a51c35ead519d80a2aa3726950cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "91567dafe0ec946c63276f4561597fb09f24a51c35ead519d80a2aa3726950cc" "/opt/rustwide/cargo-home/bin/cargo" "+09a371361240e42b0d69438fd1179efcf212e576" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.89
[INFO] [stderr]    Compiling unicode-ident v1.0.3
[INFO] [stderr]    Compiling syn v1.0.99
[INFO] [stderr]    Compiling serde v1.0.215
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling heck v0.4.0
[INFO] [stderr]     Checking either v1.8.0
[INFO] [stderr]     Checking miniz_oxide v0.6.2
[INFO] [stderr]     Checking os_str_bytes v6.3.0
[INFO] [stderr]    Compiling serde_json v1.0.85
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]     Checking getrandom v0.2.7
[INFO] [stderr]     Checking bytecount v0.6.3
[INFO] [stderr]     Checking unicode-width v0.1.9
[INFO] [stderr]     Checking ryu v1.0.11
[INFO] [stderr]     Checking ppv-lite86 v0.2.16
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking cc v1.0.73
[INFO] [stderr]     Checking rustc-hash v2.0.0
[INFO] [stderr]     Checking papergrid v0.7.1
[INFO] [stderr]     Checking rand_core v0.6.3
[INFO] [stderr]     Checking clap_lex v0.3.0
[INFO] [stderr]     Checking iset v0.3.0
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]     Checking termcolor v1.1.3
[INFO] [stderr]     Checking itoa v1.0.3
[INFO] [stderr]     Checking once_cell v1.14.0
[INFO] [stderr]     Checking itoa v0.4.8
[INFO] [stderr]     Checking itertools v0.10.3
[INFO] [stderr]     Checking flate2 v1.0.25
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking pindakaas-build-macros v0.1.0 (/opt/rustwide/workdir/bin/pindakaas/crates/pindakaas-build-macros)
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking csv-core v0.1.10
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling syn v2.0.87
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling bzip2-sys v0.1.11+1.0.8
[INFO] [stderr]    Compiling pindakaas-cadical v2.1.0 (/opt/rustwide/workdir/bin/pindakaas/crates/pindakaas-cadical)
[INFO] [stderr]     Checking bzip2 v0.4.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling darling_core v0.20.10
[INFO] [stderr]    Compiling tabled_derive v0.5.0
[INFO] [stderr]    Compiling clap_derive v4.0.18
[INFO] [stderr]     Checking tabled v0.10.0
[INFO] [stderr]    Compiling serde_derive v1.0.215
[INFO] [stderr]    Compiling derive_more-impl v1.0.0
[INFO] [stderr]     Checking clap v4.0.18
[INFO] [stderr]    Compiling darling_macro v0.20.10
[INFO] [stderr]     Checking derive_more v1.0.0
[INFO] [stderr]    Compiling darling v0.20.10
[INFO] [stderr]    Compiling pindakaas-derive v0.1.0 (/opt/rustwide/workdir/bin/pindakaas/crates/pindakaas-derive)
[INFO] [stderr]     Checking bstr v0.2.17
[INFO] [stderr]     Checking pindakaas v0.1.0 (/opt/rustwide/workdir/bin/pindakaas/crates/pindakaas)
[INFO] [stderr]     Checking csv v1.1.6
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]   --> bin/pindakaas/crates/pindakaas/src/integer.rs:61:18
[INFO] [stdout]    |
[INFO] [stdout] 61 |                     .filter(|j| (*j == i || *k.get(*j).unwrap_or(&false)))
[INFO] [stdout]    |                                 ^                                       ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 61 -                     .filter(|j| (*j == i || *k.get(*j).unwrap_or(&false)))
[INFO] [stdout] 61 +                     .filter(|j| *j == i || *k.get(*j).unwrap_or(&false) )
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]   --> bin/pindakaas/crates/pindakaas/src/integer.rs:87:18
[INFO] [stdout]    |
[INFO] [stdout] 87 |                     .filter(|j| (*j == i || !k.get(*j).unwrap_or(&false)))
[INFO] [stdout]    |                                 ^                                       ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 87 -                     .filter(|j| (*j == i || !k.get(*j).unwrap_or(&false)))
[INFO] [stdout] 87 +                     .filter(|j| *j == i || !k.get(*j).unwrap_or(&false) )
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> bin/pindakaas/crates/pindakaas/src/lib.rs:160:21
[INFO] [stdout]     |
[INFO] [stdout] 160 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<Self::CondDB>;
[INFO] [stdout]     |                        ^^^^^^^^^                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 160 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<'_, Self::CondDB>;
[INFO] [stdout]     |                                                                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> bin/pindakaas/crates/pindakaas/src/lib.rs:632:21
[INFO] [stdout]     |
[INFO] [stdout] 632 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<Self::CondDB> {
[INFO] [stdout]     |                        ^^^^^^^^^                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 632 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<'_, Self::CondDB> {
[INFO] [stdout]     |                                                                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> bin/pindakaas/crates/pindakaas/src/lib.rs:704:21
[INFO] [stdout]     |
[INFO] [stdout] 704 |     fn with_conditions(&mut self, mut conditions: Vec<Lit>) -> ConditionalDatabase<DB> {
[INFO] [stdout]     |                        ^^^^^^^^^ the lifetime is elided here   ^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 704 |     fn with_conditions(&mut self, mut conditions: Vec<Lit>) -> ConditionalDatabase<'_, DB> {
[INFO] [stdout]     |                                                                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]     --> bin/pindakaas/crates/pindakaas/src/lib.rs:1064:21
[INFO] [stdout]      |
[INFO] [stdout] 1064 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<Self::CondDB> {
[INFO] [stdout]      |                        ^^^^^^^^^                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]      |                        |
[INFO] [stdout]      |                        the lifetime is elided here
[INFO] [stdout]      |
[INFO] [stdout]      = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]      |
[INFO] [stdout] 1064 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<'_, Self::CondDB> {
[INFO] [stdout]      |                                                                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> bin/pindakaas/crates/pindakaas/src/integer/dom.rs:100:14
[INFO] [stdout]     |
[INFO] [stdout] 100 |     pub fn iter(&self) -> DomIterator {
[INFO] [stdout]     |                 ^^^^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 100 |     pub fn iter(&self) -> DomIterator<'_> {
[INFO] [stdout]     |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stdout]   --> bin/pindakaas/crates/pindakaas/src/solver.rs:27:2
[INFO] [stdout]    |
[INFO] [stdout] 24 | #[derive(Debug, PartialEq)]
[INFO] [stdout]    |                 --------- in this derive macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 27 |     drop_fn: fn(*mut c_void),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: the address of the same function can vary between different codegen units
[INFO] [stdout]    = note: furthermore, different functions could have the same address after being merged together
[INFO] [stdout]    = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stdout]    = note: `#[warn(unpredictable_function_pointer_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking pbc v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]    --> src/cli.rs:480:40
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     .unwrap_or_else(|| (1.0 - fl));
[INFO] [stdout]     |                                        ^        ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 480 -                     .unwrap_or_else(|| (1.0 - fl));
[INFO] [stdout] 480 +                     .unwrap_or_else(|| 1.0 - fl);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]    --> src/cli.rs:480:40
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     .unwrap_or_else(|| (1.0 - fl));
[INFO] [stdout]     |                                        ^        ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 480 -                     .unwrap_or_else(|| (1.0 - fl));
[INFO] [stdout] 480 +                     .unwrap_or_else(|| 1.0 - fl);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 22s
[INFO] running `Command { std: "docker" "inspect" "91567dafe0ec946c63276f4561597fb09f24a51c35ead519d80a2aa3726950cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91567dafe0ec946c63276f4561597fb09f24a51c35ead519d80a2aa3726950cc", kill_on_drop: false }`
[INFO] [stdout] 91567dafe0ec946c63276f4561597fb09f24a51c35ead519d80a2aa3726950cc
